$\forall$$a$, $b$:$\mathbb{Q}$. Dec($a$ $\leq$ $b$)